Second-order logic - PDFSEARCH.IO - Document Search Engine

Second-order logic
Results: 101

#	Item
21	Second Order Inductive Logic and Wilmers’ Principle M.S.Kließ∗ and J.B.Paris† School of Mathematics The University of Manchester Manchester M13 9PL Add to Reading List Source URL: www.maths.manchester.ac.uk - Date: 2015-05-06 08:39:29
22	Quantum Probabilistic Dyadic Second-Order Logic? A. Baltag, J. M. Bergfeld, K. Kishida, J. Sack, S. J. L. Smets, S. Zhong Institute for Logic, Language and Computation, Universiteit van Amsterdam Science Park 107, 1098XG Add to Reading List Source URL: www.joshuasack.info Language: English - Date: 2013-08-18 14:20:55
23	Monadic Second Order logic on graphs and Courcelle’s theorem Michal Pilipczuk Institutt for Informatikk, Universitetet i Bergen Add to Reading List Source URL: fptschool.mimuw.edu.pl Language: English - Date: 2014-08-19 06:53:50
24	On properties of logical sentences with arbitrary monadic predicates 1 Nathana¨el Fijalkow and Charles Paperman LIAFA Universit´ e Paris Diderot Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Formal languages FO Finite model theory Regular language Second-order logic Mathematical logic Linear temporal logic
25	A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words Colin Riba ENS de Lyon, Universit´e de Lyon, LIP∗ Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2013-01-22 07:43:47
26	The System of Accounting for Global Entropy Production, (SAGE-P): Second Order Logic Accounting Representation, (SOLAR) of the Econosphere Add to Reading List Source URL: events.it-sudparis.eu Language: English - Date: 2008-08-01 08:22:25 Chemistry Entropy Second law of thermodynamics Degrowth Negentropy Entropy in thermodynamics and information theory Exergy Thermodynamic entropy Thermodynamics Physics
27	Author: Friend Anthony Title: The System of Accounting for Global Entropy Productions, (SAGE-P): A second order logic method for constructing an ‘integrated’ System of Environmental and Economic Accounts, (SEEA). Ins Add to Reading List Source URL: events.it-sudparis.eu Language: English - Date: 2008-08-01 08:22:25 Environmental social science Resource economics Science Systems ecology Philosophy of biology Ecological economics Nicholas Georgescu-Roegen Sustainability Ecosystem Environmental economics Environment Economics
28	Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies Santiago Figueira Daniel Gor´ın Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2013-08-19 18:50:17 Model theory Logical syntax Philosophical logic Interpretation Entailment First-order logic Prenex normal form Well-formed formula Logical connective Logic Metalogic Formal languages
29	Introduction 0-1 Law for Bernays-Sch¨ onfinkel Negative Results Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-04-18 18:43:59 Mathematics Metalogic Formal languages First-order logic Predicate logic Boolean satisfiability problem Well-formed formula Satisfiability Second-order logic Logic Mathematical logic Model theory
30	Author: Friend Anthony Title: The System of Accounting for Global Entropy Productions, (SAGE-P): A second order logic method for constructing an ‘integrated’ System of Environmental and Economic Accounts, (SEEA). Ins Add to Reading List Source URL: events.it-sudparis.eu Language: English - Date: 2008-04-25 03:15:56